Матрица бинарного отношения

Бинарному отношению $\rho$ на множествах $A = \{a_{1},\dots,a_{n}\}$ и $B = \{b_{1},\dots,b_{m}\}$ сопоставляется его матрица $M_{\rho}$ со следующими свойствами: * $M_{\rho} \in \{0, 1\}^{n \times m}$ * $M_{\rho}[i, j] = 1$ если $(a_{i}, b_{j}) \in \rho$; иначе $M_{\rho}[i, j] = 0$